Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
211	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
212	Coefficients of cyclotomic polynomials Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Musiker and Reiner present in [12] a marvelous interpretation of the coefficients of Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:18:03 Number theory Algebra Cyclotomic polynomial Field theory Root of unity Mathematics Polynomials Abstract algebra
213	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
214	Data-flow Analysis for Interruptdriven Microcontroller Software Nathan Cooprider Advisor: John Regehr Dissertation defense School of Computing University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-09-03 13:32:16 Embedded systems TinyOS Procedural programming languages Abstract interpretation Microcontroller Program analysis C Pointer Data-flow analysis Computing Software engineering Computer programming
215	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
216	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
217	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
218	1 Language-Processing Problems Roland Backhouse DIMACS, 8th July, 2003 Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 12:47:55 Galois connection Order theory Function Spectral theory Adjoint functors Decomposition of spectrum Mathematics Mathematical analysis Abstract interpretation
219	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
220	Dataflow analysis for interrupt-driven microcontroller software Nathan Cooprider School of Computing, University of Utah October 12, 2007 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-10-12 13:54:24 Electronics Embedded systems Microcontrollers Central processing unit TI MSP430 Dataflow TinyOS NesC Abstract interpretation Computer architecture Computing Interrupts

UPDATE